type A = number[] => boolean;
